You have chosen talk, On Second-Order Logic and On Second-Order Logic.
All three must be different; choose another text.